package common.commands;

import common.Relations;

import math.Relation;


public class Reach implements ICommand {

	@Override
	public String getName() {
		
		return "reach";
	}

	@Override
	public String getSynopsis() {
		
		return "reach <Property>";
	}

	@Override
	public CommandValue run(String arg) {
		
		Relation r = Relations.getRelation(arg);
		
		if (r == null) {
			System.out.println("Unknown relation: " + arg);
			return CommandValue.KO;
		}
		
		return CommandValue.OK;
	}

	@Override
	public String help() {
		
		return "Determines if a configuration satisfying Property is reachable";
	}

}
